1

Categories of semigroups in quantum computational structures

Year:
2009
Language:
english
File:
PDF, 745 KB
english, 2009
3

Injectives in residuated algebras

Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004
5

Logical Approach for Two-Valued States on Quantum Systems

Year:
2014
Language:
english
File:
PDF, 415 KB
english, 2014
13

Quantum computational logic with mixed states

Year:
2013
Language:
english
File:
PDF, 306 KB
english, 2013
14

Logical Structures Underlying Quantum Computing

Year:
2019
Language:
english
File:
PDF, 259 KB
english, 2019
16

Pavelka-style completeness in expansions of Łukasiewicz logic

Year:
2008
Language:
english
File:
PDF, 166 KB
english, 2008
18

Holistic Type Extension for Classical Logic via Toffoli Quantum Gate

Year:
2019
Language:
english
File:
PDF, 386 KB
english, 2019
19

Pattern Recognition in Non-Kolmogorovian Structures

Year:
2017
Language:
english
File:
PDF, 443 KB
english, 2017
21

An Algebraic Version of the Cantor-Bernstein-Schröder Theorem

Year:
2004
Language:
english
File:
PDF, 155 KB
english, 2004
24

Equational type characterization forσ-completeMV-algebras

Year:
2013
Language:
english
File:
PDF, 379 KB
english, 2013
25

The Cantor–Bernstein–Schröder theorem via universal algebra

Year:
2019
Language:
english
File:
PDF, 503 KB
english, 2019
26

Quantum Computational Structures: Categorical Equivalence for Square RootqMV-algebras

Year:
2010
Language:
english
File:
PDF, 283 KB
english, 2010
28

Two-Valued States on Baer *-Semigroups

Year:
2013
Language:
english
File:
PDF, 214 KB
english, 2013
32

Modal-type orthomodular logic

Year:
2009
Language:
english
File:
PDF, 138 KB
english, 2009
34

Contextual logic for quantum systems

Year:
2005
Language:
english
File:
PDF, 348 KB
english, 2005